- доказывать перебором
- prove by exhaustion
Русско-английский словарь по машиностроению. Академик.ру. 2011.
Русско-английский словарь по машиностроению. Академик.ру. 2011.
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия